Abduction is or subsumes a process of inference. It entertains possible hypotheses and it chooses hypotheses for further scrutiny. There is a large literature on various aspects of non-symbolic, subconscious abduction. There is also a very active research community working on the symbolic (logical) characterisation of abduction, which typically treats it as a form of hypothetico-deductive reasoning. In this paper we start to bridge the gap between the symbolic and sub-symbolic approaches to abduction. We are interested in benefiting from developments (...) made by each community. In particular, we are interested in the ability of non-symbolic systems (neural networks) to learn from experience using efficient algorithms and to perform massively parallel computations of alternative abductive explanations. At the same time, we would like to benefit from the rigour and semantic clarity of symbolic logic. We present two approaches to dealing with abduction in neural networks. One of them uses Connectionist Modal Logic and a translation of Horn clauses into modal clauses to come up with a neural network ensemble that computes abductive explanations in a top-down fashion. The other combines neural-symbolic systems and abductive logic programming and proposes a neural architecture which performs a more systematic, bottom-up computation of alternative abductive explanations. Both approaches employ standard neural network architectures which are already known to be highly effective in practical learning applications. Differently from previous work in the area, our aim is to promote the integration of reasoning and learning in a way that the neural network provides the machinery for cognitive computation, inductive learning and hypothetical reasoning, while logic provides the rigour and explanation capability to the systems, facilitating the interaction with the outside world. Although it is left as future work to determine whether the structure of one of the proposed approaches is more amenable to learning than the other, we hope to have contributed to the development of the area by approaching it from the perspective of symbolic and sub-symbolic integration. (shrink)

This book explores why, regarding practical reasoning, humans are sometimes still faster than artificial intelligence systems. It is the first to offer a self-contained presentation of neural network models for many computer science logics.

This paper studies methodologically robust options for giving logical contents to nodes in abstract argumentation networks. It defines a variety of notions of attack in terms of the logical contents of the nodes in a network. General properties of logics are refined both in the object level and in the metalevel to suit the needs of the application. The network-based system improves upon some of the attempts in the literature to define attacks in terms of defeasible proofs, the so-called rule-based (...) systems. We also provide a number of examples and consider a rigorous case study, which indicate that our system does not suffer from anomalies. We define consequence relations based on a notion of defeat, consider rationality postulates, and prove that one such consequence relation is consistent. (shrink)

The target article criticises neural-symbolic systems as inadequate for analogical reasoning and proposes a model of analogy as transformation (i.e., learning). We accept the importance of learning, but we argue that, instead of conflicting, integrated reasoning and learning would model analogy much more adequately. In this new perspective, modern neural-symbolic systems become the natural candidates for modelling analogy.

Formal models of argumentation have been investigated in several areas, from multi-agent systems and artificial intelligence (AI) to decision making, philosophy and law. In artificial intelligence, logic-based models have been the standard for the representation of argumentative reasoning. More recently, the standard logic-based models have been shown equivalent to standard connectionist models. This has created a new line of research where (i) neural networks can be used as a parallel computational model for argumentation and (ii) neural networks can be used (...) to combine argumentation, quantitative reasoning and statistical learning. At the same time, non-standard logic models of argumentation started to emerge. In this paper, we propose a connectionist cognitive model of argumentation that accounts for both standard and non-standard forms of argumentation. The model is shown to be an adequate framework for dealing with standard and non-standard argumentation, including joint-attacks, argument support, ordered attacks, disjunctive attacks, meta-level attacks, self-defeating attacks, argument accrual and uncertainty. We show that the neural cognitive approach offers an adequate way of modelling all of these different aspects of argumentation. We have applied the framework to the modelling of a public prosecution charging decision as part of a real legal decision making case study containing many of the above aspects of argumentation. The results show that the model can be a useful tool in the analysis of legal decision making, including the analysis of what-if questions and the analysis of alternative conclusions. The approach opens up two new perspectives in the short-term: the use of neural networks for computing prevailing arguments efficiently through the propagation in parallel of neuronal activations, and the use of the same networks to evolve the structure of the argumentation network through learning (e.g. to learn the strength of arguments from data). (shrink)

Humans are often extraordinary at performing practical reasoning. There are cases where the human computer, slow as it is, is faster than any artificial intelligence system. Are we faster because of the way we perceive knowledge as opposed to the way we represent it? -/- The authors address this question by presenting neural network models that integrate the two most fundamental phenomena of cognition: our ability to learn from experience, and our ability to reason from what has been learned. This (...) book is the first to offer a self-contained presentation of neural network models for a number of computer science logics, including modal, temporal, and epistemic logics. By using a graphical presentation, it explains neural networks through a sound neural-symbolic integration methodology, and it focuses on the benefits of integrating effective robust learning with expressive reasoning capabilities. -/- The book will be invaluable reading for academic researchers, graduate students, and senior undergraduates in computer science, artificial intelligence, machine learning, cognitive science and engineering. It will also be of interest to computational logicians, and professional specialists on applications of cognitive, hybrid and artificial intelligence systems. (shrink)

This article aims to achieve two goals: to show that probability is not the only way of dealing with uncertainty ; and to provide evidence that logic-based methods can well support reasoning with uncertainty. For the latter claim, two paradigmatic examples are presented: logic programming with Kleene semantics for modelling reasoning from information in a discourse, to an interpretation of the state of affairs of the intended model, and a neural-symbolic implementation of input/output logic for dealing with uncertainty in dynamic (...) normative contexts. (shrink)

This paper examines the role that linguistic and cognitive prominence play in the resolution of anaphor–antecedent relationships. In two experiments, we found that pronouns are immediately sensitive to the cognitive prominence of potential antecedents when other antecedent selection cues are uninformative. In experiment 1, results suggest that despite their theoretical dissimilarities, topic and contrastive focus both serve to enhance cognitive prominence. Results from experiment 2 suggest that the contrastive prosody appropriate for focus constructions may also play an important role in (...) enhancing cognitive prominence. Thus different types of linguistic prominence (topic, contrastive focus) appear to have the common effect of increasing the cognitive prominence of the discourse referent. For pronouns with two possible antecedents, the cognitive prominence of an antecedent aids in anaphor resolution, immediately biasing selection towards the more prominent (and ultimately preferred) antecedent. (shrink)

Dans les « Deux dogmes», Quine voulait démontrer que le positivisme logique n’était possible qu’en raison d’hypothèses injustifiées. L’intention de Quine était de montrer qu’il n’est possible de sauver l’empirisme que si l’on accepte une autre approche, holistique. Toutefois, l’article de Quine était anachronique dès le moment de sa publication. Le but de cet article est double. Tout d’abord, on esquissera l’argument de Quine et on le confrontera aux positions de Carnap et Dubislav. On montrera que la critique de Quine (...) était en retard d’au moins 15 ans. En deuxième lieu, on examinera le postulat de Quine de l’empirisme sans dogmes et on comparera brièvement à la théorie de Poznański et Wundheiler. On soutiendra que ce postulat avait été réalisé déjà dans les années 1930. (shrink)

Dans les « Deux dogmes», Quine voulait démontrer que le positivisme logique n’était possible qu’en raison d’hypothèses injustifiées. L’intention de Quine était de montrer qu’il n’est possible de sauver l’empirisme que si l’on accepte une autre approche, holistique. Toutefois, l’article de Quine était anachronique dès le moment de sa publication. Le but de cet article est double. Tout d’abord, on esquissera l’argument de Quine et on le confrontera aux positions de Carnap et Dubislav. On montrera que la critique de Quine (...) était en retard d’au moins 15 ans. En deuxième lieu, on examinera le postulat de Quine de l’empirisme sans dogmes et on comparera brièvement à la théorie de Poznański et Wundheiler. On soutiendra que ce postulat avait été réalisé déjà dans les années 1930. (shrink)

En este breve comentario discuto algunos aspectos de la interpretación de la epistemología de Davidson que sugiere Willian Duica en su reciente libro. Luego de una presentación somera del libro me centro en tres asuntos centrales de la interpretación de Duica. En primer lugar, argumento que su lectura de la crítica de Davidson al dualismo esquema/contenido es muy restrictiva y deja abierta la posibilidad de un realismo directo empirista. En segundo lugar, argumento que en su lectura el propio Duica se (...) compromete inadvertidamente con un empirismo de este tipo y, de este modo, su interpretación entra en tensión con el coherentismo de Davidson. Finalmente, discuto algunos aspectos de la interpretación que hace Duica de la tesis davidsoniana de la triangulación. In this short comment I discuss some aspects of William Duica's interpretation of Davidson's epistemology in a recent book. After a brief review of the book, I focus on three central issues of Duica's interpretation. First, I argue that his reading of Davidson's criticism of the scheme/content dualism is too restrictive and leaves open the possibility of an empiricist direct realism. Second, I argue in his reading Duica inadvertently commits himself to an empiricism of this sort and, as a result, his interpretation is in tension with Davidson's own coherentism. Finally, I discuss some aspects of Duica's interpretation of Davidsonian triangulation. (shrink)

Mozambique has seen remarkable growth in biomedical research over the last decade. To meet a growing need, the National Committee for Bioethics in Health of Mozambique encouraged the development of ethical review processes at institutions that regularly conduct medical and social science research. In 2012, the Faculty of Medicine of University Eduardo Mondlane and the Maputo Central Hospital established a joint Institutional Committee on Bioethics for Health. This study examines the experience of the first 4 years of the CIBS FM (...) & MCH. This study provides a descriptive, retrospective analysis of research protocols submitted to and approved by the CIBS FM & MCH between March 1, 2013 and December 31, 2016, together with an analysis of the Committee’s respective reviews and actions. A total of 356 protocols were submitted for review during the period under analysis, with 309 protocols approved. Sixty-four percent were submitted by students, faculty, and researchers from UEM, mainly related to Master’s degree research. Descriptive cross-sectional studies were the most frequently reviewed research. The majority were prospective and used quantitative methodologies. The Departments of Internal Medicine at MCH and Community Health at the FM submitted the most protocols from their respective institutions, with 38 and 53% respectively. The CIBS’s average time to final approval for all protocols was 56 days, rising to 161 for the 40 protocols that required subsequent national-level review by the CNBS. Our results show that over its first 4 years, the CIBS FM & MCH has been successful in managing a constant demand for protocol review and that several broad quality improvement initiatives, such as investigator mentoring and an electronic protocol submission platform have improved efficiency in the review process and the overall quality of the protocols submitted. Beyond Maputo, long-term investments in training and ethical capacity building for CIBS across the country continue to be needed, as Mozambique develops greater capacity for research and makes progress toward improving the health of all its citizens. (shrink)

The article aims at analyzing the case of Beppe Grillo and his Five Stars Movement in terms of social, cultural and linguistic phenomenon that – initially as a virtual party without a structured organization – seems to conquer both right-wing and left-wing Italian citizens notwithstanding generational and ideological differences. The success of grillini in the parliamentary election of 2018 as a consequence of Matteo Renzi’s constitutional referendum failure, represents a clear sign of the leadership crisis as well as the drifting (...) apart of the ruling class that ignored the problems of ordinary people for several years. The analysis is focused on both form and content: on the one hand, the artistic expression characteristic of Grillo, his gestures, mimicry and direct language plenty of verbal hyperboles, rhetorical figures, swearwords and blasphemous obscenities that build his uncompromising charisma, on the other modern technologies and social media that are used to communicate efficiently with the electorate, create an image of an open-minded politician keeping up with the outer world. All the aforementioned circumstances demonstrate an innovative approach based on political communication that devolves some level of decision-making power to the party supporters being active web users: bloggers and influencers at the same time. Such paradigm is followed by other representatives of the Italian political scene nowadays. (shrink)

Julia Kristeva's Teresa, My Love: An Imagined Life of the Saint of Avila confronts us with the contemporary problem of violent forms of fundamentalism, especially Islamic, as it recreates the life of Saint Theresa. The novel's psychoanalytic perspective engages our emotions and sensations, and is also therapeutic for author and reader. But most of all, it engages our thinking and deals in depth with this compelling, timely issue.

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Solitude: A Philosophical EncounterRobert D. CottrellSolitude: A Philosophical Encounter, by Philip Koch; xiv & 375 pp. La Salle, Illinois: Open Court, 1994, $39.95 cloth, $17.95 paper.A professor of philosophy at the University of Prince Edward Island (an attractively solitary spot, I should imagine), Philip Koch divides his book into two parts, asking in Part I: what is solitude? and in Part II: what role does solitude play in (...) our lives? At the beginning of his inquiry, Koch identifies two primary modes of human experience: solitude, the core definition of which is social disengagement, and encounter, that is to say, interaction with others. Both are essential for human completion; indeed, the inescapable link between solitude and encounter is illustrated in the book’s full title, which contains both words. Still, in today’s society solitude is probably less understood and appreciated than encounter, for we tend to stress the supposed primacy of relationships and bonds. Calling himself a partisan of solitude, Koch sets out to correct the imbalance he discerns between solitude and encounter by focusing on how solitude (different, he insists, from loneliness, isolation, privacy, or alienation) contributes to our physical, moral, and emotional well-being.Koch is a philosopher; he defines his terms and then, as he moves along, makes subtle distinctions in his original definitions, rendering each term ever more precise and accurate. Conscious of the slippage of meaning that often occurs in language and of the mischief that can be caused by using terms improperly, Koch points out how Tillich (p. 164) and Mijuskovic (p. 173) go astray by gliding confusedly from one term to another, the result being that their arguments drift into muddle. Koch’s own thinking is pellucidly clear. The major part of his book is a discussion of the value of solitude. He identifies five primary virtues linked to solitude: freedom, attunement to self, attunement to nature, reflective perspective, and creativity. After discussing each of the virtues, Koch answers the objections that have been raised throughout the centuries to the claims he has made for the positive tole of solitude in our lives.Ranging over the whole history of human thought, Koch draws on a vast array of writers, including Tao Tze, Plotinus, Seneca, Augustine, Petrarch, Saint Teresa of Avila, Meister Eckhart, Montaigne, Descartes (always a key figure in any discussion of the evolution of Western thought), Goethe, Wordsworth, Hugo, Emerson, Thoreau, Dickinson, Whitman, Proust, Lawrence, Rilke, Sartre, Eiseley, Woolf, and Sarton. A meticulously learned book, Solitude is also a deeply meditative and an intensely personal one. In this, it resembles the work of Montaigne and of Loren Eiseley, where philosophical or (in the case of Eiseley) scientific knowledge is inseparable from imaginative vision; inseparable, too, from the distinctive voice of the author, for Koch, like Montaigne and Eiseley, moves easily from meditation to recollection, recounting moments of joy or sorrow in his own life. Even Koch’s prose bears some resemblance to that of Montaigne or Eiseley for, like theirs, it vibrates with the peculiarly poetic [End Page 155] intensity that a great writer can find in plain, unadorned speech. Indeed, what remains with the reader of this book, beyond the philosophical arguments and the erudite explanations, relegated wisely to the footnotes at the back of the volume where they are available to serious students without intimidating casual readers, is the seductive charm of the author’s voice, the sense of being addressed directly and intimately. To encounter this marvelous book, written in solitude, read in solitude, is to move beyond solitude and to experience, in the strange way that only a good book can provide, intimacy with another mind, another spirit that is engaged—it, too—in the process of encountering other minds, other spirits.Robert D. CottrellOhio State UniversityCopyright © 1995 The Johns Hopkins University Press... (shrink)

This book provides an invaluable overview of the reach of logic. It provides reference to some of the most important, well-established results in logic, while at the same time offering insight into the latest research issues in the area. It also has a balance of theory and practice, containing essays in the areas of modal logic, intuitionistic logic, logic and language, nonmonotonic logic and logic programming, temporal logic, logic and learning, combination of logics, practical reasoning, logic and artificial intelligence, abduction, (...) theorem proving and goal-directed reasoning. It will be invaluable reading for researchers and graduate students in logic and computer science, and a fabulous source of inspiration for research students in search of a topic for a PhD in logic and theoretical computer science. (shrink)

The composition of nitrogen-doped hydrogenated amorphous carbon films grown in a magnetically confined rf plasma-enhanced chemical vapour deposition system has been determined by X-ray photoelectron spectroscopy and compared with that determined using a combination of elastic recoil detection analysis, Rutherford back-scattering and nuclear reaction analysis. The importance of nitrogen doping or 'incorporation' in hydrogenated amorphous carbon films is discussed in relation to the significant variation in the sp 2 -to-sp 3 ratio that takes place. At 7 at.% N in the (...) a-C : H matrix, a critical change in the microstructure is observed, which governs the resulting mechanical, optical and electronic properties. Finally, the correlation between the sp 2 and sp 3 fractions determined by a non-destructive method of obtaining the bond fractions and by electron-energy-loss spectroscopy is discussed, with a view to evaluating accurately the sp 2 fraction in a-C : H : N films. (shrink)

Geoffrey Rose’s prevention paradox points to a tension between two prima facie plausible moral principles: that we should save the greater number and that weshould save the most at risk. This paper argues that a novel moral theory, ex-ante contractualism, captures our intuitions in many prevention paradox cases, regardless of our interpretation of probability claims. However, it goes on to show that it might be impossible to square ex-ante contractualism with all of our moral intuitions. It concludes that even if (...) ex-ante contractualism cannot furnish an entire ethics of risk, it does identify important considerations for any such theory. (shrink)

While there is significant consensus that undergraduate medical education should include bioethics training, there is widespread debate about how to teach bioethics to medical students. Educators disagree about course methods and approaches, the topics that should be covered, and the effectiveness and metrics for UME ethics training. One issue that has received scant attention is the timing of bioethics education during medical training. The existing literature suggests that most medical ethics education occurs in the pre-clinical years. Follow-up studies indicate that (...) medical students in their clinical rotations have little recall or ability to apply ethics concepts that were learned in their pre-clinical training. Trainees also report a desire for medical ethics to be taught in the context of practical application, which would suggest that the timing of pre-clinical ethics education is flawed. However, moving bioethics training to the clinical years should not be assumed to be the solution to the problems of recall and theory application. We argue that the effectiveness of timing bioethics education will depend on when medical students witness or experience particular categories of ethical dilemmas during their training. Our overarching hypothesis is that ethics education will be most effective when the bioethics training on a particular topic correlates to experiential exposure to that ethical issue. The purpose of our current study was to describe medical students exposure to particular categories of ethical conflicts, dilemmas, or issues. Our results may help bioethics educators better strategize about the most effective timing of medical ethics training in UME. (shrink)

Geoffrey Rose’s prevention paradox points to a tension between two prima facie plausible moral principles: that we should save the greater number and that weshould save the most at risk. This paper argues that a novel moral theory, ex-ante contractualism, captures our intuitions in many prevention paradox cases, regardless of our interpretation of probability claims. However, it goes on to show that it might be impossible to square ex-ante contractualism with all of our moral intuitions. It concludes that even if (...) ex-ante contractualism cannot furnish an entire ethics of risk, it does identify important considerations for any such theory. (shrink)

Islam and society; religious life; Islam.

Allthough small business accounts for over 90% of businesses in U.K. and indeed elsewhere, they remain the largely uncharted area of ethics. There has not been any research based on the perspective of small business owners, to define what echical delemmas they face and how, if at all, they resolve them. This paper explores ethics from the perspective of small business owner, using focus groups and reports on four clearly identifiable themes of ethical delemmas; entrepreneurial activity itself, conflicts of personal (...) values with business needs, social responsibility and the impact of owners' personality on business ethics. The mechanisms for resolving ethical dilemmas is not at all clear, as there appears to be a web of filters which are used in an inter-connected way. However a common starting point for resolving an ethical delemma which involves others is based on identifying who it is (e.g., a friend or institution) and the quality of the relationship with that person. The research yielded a rich source of material on business ethics and it is clear that future researchers must focus on this sector if business ethics is to make significant advances. (shrink)

Published within weeks of Charles Darwin's Origin of Species, Isabelle Duncan's Pre-Adamite Man (1860) is the first full-length treatment of preadamism by an evangelical. Intended as a reconciliation of Genesis and geology, Duncan's work gained immediacy when it was published shortly after the September 1859 revelations that men had walked among the mammoths. Written in the tradition of evangelical 'Christian philosophy', Pre-Adamite Man deploys innovative biblical hermeneutics and recent trends in geology to set out both a biblical preadamite theory, and (...) an unorthodox angelology. Duncan responded to contemporary secular interpretations of geology by pushing evangelical concordist strategies to new frontiers, filling out an acceptance of an ancient earth with new biblically informed catastrophist proposals and extensions of salvation history, while simultaneously retaining a firm commitment to plenary inspiration. The product is a highly readable book that operates both as an accessible treatment of geology and a theological discourse. Running through six printings between 1860 and 1866, the book was reviewed by many of the period's leading journals and created a minor controversy among evangelicals. This study both brings to life this previously neglected episode in scriptural geology, and adds to recent work on Victorian popular science writing. (shrink)

The dominant theory of judgment in 1870 was one or other variety of combination theory: the act of judgment is an act of combining concepts or ideas in the mind of the judging subject. In the decades to follow a succession of alternative theories arose to address defects in the combination theory, starting with Bolzano’s theory of propositions in themselves, Brentano’s theory of judgment as affirmation or denial of existence, theories distinguishing judgment act from judgment content advanced by Brentano’s students (...) Twardowski, Husserl and Meinong, and finally, Adolf Reinach’s addition of a linguistic dimension to the Brentano-Husserlian theory of judgment – an account of judgments as ways of doing things with words in what Reinach called ‘social acts’. (shrink)

In this article we examine ethical aspects of the involvement of children in clinical research, specifically those who are incapable of giving informed consent to participate. The topic is, of course, not a new one in medical ethics but there are some tensions in current guidelines that, in our view, need to be made explicit and which need to be responded to by the relevant official bodies. In particular, we focus on tensions between the World Medical Association Declaration of Helsinki, (...) and the guidance offered by the British Medical Association, the Royal College of Paediatrics and Child Health , and the Council for International Organizations of Medical Sciences. We conclude with a call for these organisations to make their guidance explicit in relation to the World Medical Association Declaration. (shrink)

This paper examines one particular justification for the screening and termination of embryos/fetuses which possess genetic features known to cause disability. The particular case is that put forward in several places by John Harris. He argues that the obligation to prevent needless suffering justifies the prevention of the births of disabled neonates. The paper begins by rehearsing Harris's case. Then, drawing upon claims advanced in a recent paper in the Journal of Medical Ethics, it is subjected to critical scrutiny, focusing (...) on Harris's “suffering claim” .1 It is argued that the suffering claim must be false if understood as an empirical claim. And, even if understood as a conceptual truth, it mistakenly assimilates the concepts of harm and suffering. Finally, again focusing on Harris's recent work in this area, his characterisation of disability as a “harmed condition” is shown not to apply in the case of at least some moderate forms of intellectual disability. (shrink)